A quantum search for zeros of polynomials

A quantum mechanical search procedure to determine the real zeros of a polynomial is introduced. It is based on the construction of a spin observable whose eigenvalues coincide with the zeros of the polynomial. Subsequent quantum mechanical measurements of the observable output directly the numerical values of the zeros. Performing the measurements is the only computational resource involved

Chaos and quantum-nondemolition measurements

The problem of chaotic behavior in quantum mechanics is investigated against the background of the theory of quantum-nondemolition (QND) measurements. The analysis is based on two relevant features: The outcomes of a sequence of QND measurements are unambiguously predictable, and these measurements actually can be performed on one single system without perturbing its time evolution. Consequently, QND measurements represent an appropriate framework to analyze the conditions for the occurrence of ‘‘deterministic randomness’’ in quantum systems. The general arguments are illustrated by a discussion of a quantum system with a time evolution that possesses nonvanishing algorithmic complexity

Small denominators, frequency operators, and Lie transforms for nearly integrable quantum spin systems

Based on the previously proposed notions of action operators and of quantum integrability, frequency operators are introduced in a fully quantum-mechanical setting. They are conceptually useful because another formulation can be given to unitary perturbation theory. When worked out for quantum spin systems, this variant is found to be formally equivalent to canonical perturbation theory applied to nearly integrable systems consisting of classical spins. In particular, it becomes possible to locate the quantum-mechanical operator-valued equivalent of the frequency denominators that may cause divergence of the classical perturbation series. The results that are established here link the concept of quantum-mechanical integrability to a technical question, namely, the behavior of specific perturbation series

Quantum diagonalization of Hermitean matrices

To measure an observable of a quantum mechanical system leaves it in one of its eigenstates and the result of the measurement is one of its eigenvalues. This process is shown to be a computational resource: Hermitean (N ×N) matrices can be diagonalized, in principle, by performing appropriate quantum mechanical measurements. To do so, one considers the given matrix as an observable of a single spin with appropriate length s which can be measured using a generalized Stern-Gerlach apparatus. Then, each run provides one eigenvalue of the observable. As the underlying working principle is the `collapse of the wavefunction' associated with a measurement, the procedure is neither a digital nor an analogue calculation - it defines thus a new example of a quantum mechanical method of computation

How to determine a quantum state by measurements: The Pauli problem for a particle with arbitrary potential

The problem of reconstructing a pure quantum state ¿¿> from measurable quantities is considered for a particle moving in a one-dimensional potential V(x). Suppose that the position probability distribution ¿¿(x,t)¿2 has been measured at time t, and let it have M nodes. It is shown that after measuring the time evolved distribution at a short-time interval ¿t later, ¿¿(x,t+¿t)¿2, the set of wave functions compatible with these distributions is given by a smooth manifold M in Hilbert space. The manifold M is isomorphic to an M-dimensional torus, TM. Finally, M additional expectation values of appropriately chosen nonlocal operators fix the quantum state uniquely. The method used here is the analog of an approach that has been applied successfully to the corresponding problem for a spin system

Discrete Moyal-type representations for a spin

In Moyal’s formulation of quantum mechanics, a quantum spin s is described in terms of continuous symbols, i.e., by smooth functions on a two-dimensional sphere. Such prescriptions to associate operators with Wigner functions, P or Q symbols, are conveniently expressed in terms of operator kernels satisfying the Stratonovich-Weyl postulates. In analogy to this approach, a discrete Moyal formalism is defined on the basis of a modified set of postulates. It is shown that appropriately modified postulates single out a well-defined set of kernels that give rise to discrete symbols. Now operators are represented by functions taking values on (2s+1)2 points of the sphere. The discrete symbols contain no redundant information, contrary to the continuous ones. The properties of the resulting discrete Moyal formalism for a quantum spin are worked out in detail and compared to the continuous formalism

Topological quenching of the tunnel splitting for a particle in a double-well potential on a planar loop

The motion of a particle along a one-dimensional closed curve in a plane is considered. The only restriction on the shape of the loop is that it must be invariant under a twofold rotation about an axis perpendicular to the plane of motion. Along the curve a symmetric double-well potential is present leading to a twofold degeneracy of the classical ground state. In quantum mechanics, this degeneracy is lifted: the energies of the ground state and the first excited state are separated from each other by a slight difference ¿E, the tunnel splitting. Although a magnetic field perpendicular to the plane of the loop does not influence the classical motion of the charged particle, the quantum-mechanical separation of levels turns out to be a function of its strength B. The dependence of ¿E on the field B is oscillatory: for specific discrete values Bn the splitting drops to zero, indicating a twofold degeneracy of the ground state. This result is obtained within the path-integral formulation of quantum mechanics; in particular, the semiclassical instanton method is used. The origin of the quenched splitting is intuitively obvious: it is due to the fact that the configuration space of the system is not simply connected, thus allowing for destructive interference of quantum-mechanical amplitudes. From an abstract point of view this phenomenon can be traced back to the existence of a topological term in the Lagrangian and a nonsimply connected configuration space. In principle, it should be possible to observe the splitting in appropriately fabricated mesoscopic rings consisting of normally conducting metal

Symmetric informationally complete positive operator valued measure and probability representation of quantum mechanics

Symmetric informationally complete positive operator valued measures (SIC-POVMs) are studied within the framework of the probability representation of quantum mechanics. A SIC-POVM is shown to be a special case of the probability representation. The problem of SIC-POVM existence is formulated in terms of symbols of operators associated with a star-product quantization scheme. We show that SIC-POVMs (if they do exist) must obey general rules of the star product, and, starting from this fact, we derive new relations on SIC-projectors. The case of qubits is considered in detail, in particular, the relation between the SIC probability representation and other probability representations is established, the connection with mutually unbiased bases is discussed, and comments to the Lie algebraic structure of SIC-POVMs are presented.Comment: 22 pages, 1 figure, LaTeX, partially presented at the Workshop "Nonlinearity and Coherence in Classical and Quantum Systems" held at the University "Federico II" in Naples, Italy on December 4, 2009 in honor of Prof. Margarita A. Man'ko in connection with her 70th birthday, minor misprints are corrected in the second versio

Finite quantum tomography via semidefinite programming

Using the the convex semidefinite programming method and superoperator formalism we obtain the finite quantum tomography of some mixed quantum states such as: qudit tomography, N-qubit tomography, phase tomography and coherent spin state tomography, where that obtained results are in agreement with those of References \cite{schack,Pegg,Barnett,Buzek,Weigert}.Comment: 25 page